[INFO] cloning repository https://github.com/pudumagico/rasp-solver
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/pudumagico/rasp-solver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpudumagico%2Frasp-solver", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpudumagico%2Frasp-solver'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d296ba32bdca9effa2504a5b2abe76da407fb7c5
[INFO] testing pudumagico/rasp-solver against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpudumagico%2Frasp-solver" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/pudumagico/rasp-solver
[INFO] finished tweaking git repo https://github.com/pudumagico/rasp-solver
[INFO] tweaked toml for git repo https://github.com/pudumagico/rasp-solver written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/pudumagico/rasp-solver on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/pudumagico/rasp-solver already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 37db29781471ccd0f81451ec772615519fda5df3942dfc8f7e118b17e57c4dbf
[INFO] running `Command { std: "docker" "start" "-a" "37db29781471ccd0f81451ec772615519fda5df3942dfc8f7e118b17e57c4dbf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "37db29781471ccd0f81451ec772615519fda5df3942dfc8f7e118b17e57c4dbf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "37db29781471ccd0f81451ec772615519fda5df3942dfc8f7e118b17e57c4dbf", kill_on_drop: false }`
[INFO] [stdout] 37db29781471ccd0f81451ec772615519fda5df3942dfc8f7e118b17e57c4dbf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1025ef7daa79699386ef517b54e7a90faca0c4d6c78323d4b327b8849648e63d
[INFO] running `Command { std: "docker" "start" "-a" "1025ef7daa79699386ef517b54e7a90faca0c4d6c78323d4b327b8849648e63d", kill_on_drop: false }`
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling asp-solver v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 9.48s
[INFO] running `Command { std: "docker" "inspect" "1025ef7daa79699386ef517b54e7a90faca0c4d6c78323d4b327b8849648e63d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1025ef7daa79699386ef517b54e7a90faca0c4d6c78323d4b327b8849648e63d", kill_on_drop: false }`
[INFO] [stdout] 1025ef7daa79699386ef517b54e7a90faca0c4d6c78323d4b327b8849648e63d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c970a2ce9c3842a4745e641a193fb16d8be5273f2b5dba597edd72fd2a18dadd
[INFO] running `Command { std: "docker" "start" "-a" "c970a2ce9c3842a4745e641a193fb16d8be5273f2b5dba597edd72fd2a18dadd", kill_on_drop: false }`
[INFO] [stderr]    Compiling asp-solver v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 4.79s
[INFO] running `Command { std: "docker" "inspect" "c970a2ce9c3842a4745e641a193fb16d8be5273f2b5dba597edd72fd2a18dadd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c970a2ce9c3842a4745e641a193fb16d8be5273f2b5dba597edd72fd2a18dadd", kill_on_drop: false }`
[INFO] [stdout] c970a2ce9c3842a4745e641a193fb16d8be5273f2b5dba597edd72fd2a18dadd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] ea28757088d1b7ce1f596bda1c5679d47a0c1ebc30433775b62a7a1000b701d0
[INFO] running `Command { std: "docker" "start" "-a" "ea28757088d1b7ce1f596bda1c5679d47a0c1ebc30433775b62a7a1000b701d0", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/asp_solver-2d1d44a9d84302c8)
[INFO] [stdout] 
[INFO] [stdout] running 80 tests
[INFO] [stdout] test ground::program::tests::atom_table_dedup ... ok
[INFO] [stdout] test grounder::instantiate::tests::eager_check_solves_and_prunes ... ok
[INFO] [stdout] test grounder::domain::tests::domain_from_facts ... ok
[INFO] [stdout] test grounder::instantiate::tests::instantiate_simple_rule ... ok
[INFO] [stdout] test grounder::instantiate::tests::eval_arithmetic_term ... ok
[INFO] [stdout] test grounder::instantiate::tests::solve_equality_nested_expr ... ok
[INFO] [stdout] test grounder::instantiate::tests::solve_sendmoremoney_equality ... ok
[INFO] [stdout] test grounder::scc::tests::simple_stratification ... ok
[INFO] [stdout] test grounder::tests::ground_simple ... ok
[INFO] [stdout] test grounder::scc::tests::stratification_with_negation ... ok
[INFO] [stdout] test grounder::seminaive::tests::ground_constraint ... ok
[INFO] [stdout] test grounder::tests::ground_with_const ... ok
[INFO] [stdout] test ground::program::tests::atom_table_get ... ok
[INFO] [stdout] test interner::tests::intern_and_resolve ... ok
[INFO] [stdout] test grounder::seminaive::tests::ground_facts_only ... ok
[INFO] [stdout] test ground::program::tests::atom_table_insert_and_resolve ... ok
[INFO] [stdout] test grounder::seminaive::tests::ground_transitive_closure ... ok
[INFO] [stdout] test grounder::seminaive::tests::ground_with_negation ... ok
[INFO] [stdout] test output::tests::format_atom_no_args ... ok
[INFO] [stdout] test output::tests::format_atom_with_args ... ok
[INFO] [stdout] test parser::lexer::tests::at_and_tilde_tokens ... ok
[INFO] [stdout] test parser::lexer::tests::block_comment ... ok
[INFO] [stdout] test parser::lexer::tests::comparison_operators ... ok
[INFO] [stdout] test parser::lexer::tests::empty_input ... ok
[INFO] [stdout] test parser::lexer::tests::identifiers_and_variables ... ok
[INFO] [stdout] test parser::lexer::tests::keywords_and_directives ... ok
[INFO] [stdout] test parser::lexer::tests::line_comment ... ok
[INFO] [stdout] test parser::lexer::tests::multi_char_ops ... ok
[INFO] [stdout] test parser::lexer::tests::numbers ... ok
[INFO] [stdout] test parser::lexer::tests::punctuation_and_operators ... ok
[INFO] [stdout] test parser::lexer::tests::string_literal ... ok
[INFO] [stdout] test parser::lexer::tests::tracks_line_col ... ok
[INFO] [stdout] test parser::lexer::tests::unexpected_char ... ok
[INFO] [stdout] test parser::lexer::tests::unterminated_string ... ok
[INFO] [stdout] test parser::lexer::tests::unknown_directive ... ok
[INFO] [stdout] test parser::tests::choice_rule_with_bounds_and_body ... ok
[INFO] [stdout] test parser::lexer::tests::weak_if_token ... ok
[INFO] [stdout] test parser::tests::const_def ... ok
[INFO] [stdout] test parser::tests::constraint ... ok
[INFO] [stdout] test parser::tests::error_missing_dot ... ok
[INFO] [stdout] test parser::tests::fact_no_args ... ok
[INFO] [stdout] test parser::tests::arithmetic ... ok
[INFO] [stdout] test parser::tests::fact_with_args ... ok
[INFO] [stdout] test parser::tests::aggregate_count ... ok
[INFO] [stdout] test parser::tests::rule_with_body ... ok
[INFO] [stdout] test parser::tests::multiple_statements ... ok
[INFO] [stdout] test parser::tests::negation ... ok
[INFO] [stdout] test parser::tests::choice_element_with_condition ... ok
[INFO] [stdout] test parser::tests::choice_rule_simple ... ok
[INFO] [stdout] test parser::tests::comparison_in_body ... ok
[INFO] [stdout] test parser::tests::show_sig ... ok
[INFO] [stdout] test parser::lexer::tests::full_rule ... ok
[INFO] [stdout] test solver::clause::tests::add_and_retrieve_clause ... ok
[INFO] [stdout] test solver::analyze::tests::backtrack_level_single ... ok
[INFO] [stdout] test solver::assignment::tests::assign_and_backtrack ... ok
[INFO] [stdout] test parser::tests::transitive_closure ... ok
[INFO] [stdout] test solver::assignment::tests::value_lit_polarity ... ok
[INFO] [stdout] test solver::clause::tests::binary_clause_stored_as_implication ... ok
[INFO] [stdout] test solver::clause::tests::unit_propagation_non_binary ... ok
[INFO] [stdout] test solver::decide::tests::pick_highest_activity ... ok
[INFO] [stdout] test solver::decide::tests::pick_skips_assigned ... ok
[INFO] [stdout] test solver::restart::tests::restart_triggers ... ok
[INFO] [stdout] test solver::restart::tests::glucose_restart_triggers ... ok
[INFO] [stdout] test solver::tests::choice_rule ... ok
[INFO] [stdout] test solver::restart::tests::luby_sequence ... ok
[INFO] [stdout] test solver::tests::single_fact ... ok
[INFO] [stdout] test solver::translate::tests::translate_constraint ... ok
[INFO] [stdout] test solver::tests::self_supporting_loop_unsat ... ok
[INFO] [stdout] test solver::tests::empty_program ... ok
[INFO] [stdout] test solver::tests::simple_constraint_unsat ... ok
[INFO] [stdout] test solver::translate::tests::translate_simple_fact ... ok
[INFO] [stdout] test solver::unfounded::tests::mutual_support_is_unfounded ... ok
[INFO] [stdout] test solver::unfounded::tests::no_unfounded_for_facts ... ok
[INFO] [stdout] test types::tests::atom_symbol_index ... ok
[INFO] [stdout] test solver::unfounded::tests::choice_atoms_not_unfounded ... ok
[INFO] [stdout] test solver::tests::negation_as_failure ... ok
[INFO] [stdout] test solver::unfounded::tests::detects_self_supporting_loop ... ok
[INFO] [stdout] test types::tests::lit_pos_neg ... ok
[INFO] [stdout] test solver::tests::rule_derivation ... ok
[INFO] [stdout] test types::tests::lit_negate ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 80 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/asp_solver-5381411ca48b9bee)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/e2e.rs (/opt/rustwide/target/debug/deps/e2e-e9f445938af43134)
[INFO] [stdout] 
[INFO] [stdout] running 127 tests
[INFO] [stdout] test chain_derivation ... ok
[INFO] [stdout] test arithmetic_chain ... ok
[INFO] [stdout] test arithmetic_subtraction ... ok
[INFO] [stdout] test arithmetic_division ... ok
[INFO] [stdout] test arithmetic_in_head ... ok
[INFO] [stdout] test choice_bounds_unsat ... ok
[INFO] [stdout] test arithmetic_multiplication ... ok
[INFO] [stdout] test choice_exactly_one ... ok
[INFO] [stdout] test arithmetic_modulo ... ok
[INFO] [stdout] test choice_exact_bound ... ok
[INFO] [stdout] test choice_exact_bound_two ... ok
[INFO] [stdout] test choice_bound_with_body ... ok
[INFO] [stdout] test choice_forced_both ... ok
[INFO] [stdout] test choice_upper_bound ... ok
[INFO] [stdout] test choice_multiple_elements ... ok
[INFO] [stdout] test classical_negation_conflict_args ... ok
[INFO] [stdout] test choice_upper_zero ... ok
[INFO] [stdout] test choice_with_constraint ... ok
[INFO] [stdout] test classical_negation_consistency ... ok
[INFO] [stdout] test choice_lower_bound ... ok
[INFO] [stdout] test choice_with_body ... ok
[INFO] [stdout] test classical_negation_fact ... ok
[INFO] [stdout] test choice_single ... ok
[INFO] [stdout] test classical_negation_in_body ... ok
[INFO] [stdout] test classical_negation_naf ... ok
[INFO] [stdout] test classical_negation_rule ... ok
[INFO] [stdout] test classical_negation_with_args ... ok
[INFO] [stdout] test comparison_eq ... ok
[INFO] [stdout] test comparison_geq ... ok
[INFO] [stdout] test comparison_filter ... ok
[INFO] [stdout] test comparison_leq ... ok
[INFO] [stdout] test comparison_lt ... ok
[INFO] [stdout] test comments_only ... ok
[INFO] [stdout] test comparison_neq ... ok
[INFO] [stdout] test complex_program ... ok
[INFO] [stdout] test conditional_body_literal_unsat ... ok
[INFO] [stdout] test conditional_body_literal ... ok
[INFO] [stdout] test conditional_body_with_constraint ... ok
[INFO] [stdout] test const_arithmetic ... ok
[INFO] [stdout] test const_substitution ... ok
[INFO] [stdout] test constraint_does_not_fire ... ok
[INFO] [stdout] test const_used_in_rule ... ok
[INFO] [stdout] test count_lower_bound ... ok
[INFO] [stdout] test constraint_naf_body ... ok
[INFO] [stdout] test count_double_bounded ... ok
[INFO] [stdout] test constraint_satisfied ... ok
[INFO] [stdout] test count_lower_bound_unsat ... ok
[INFO] [stdout] test constraint_makes_unsat ... ok
[INFO] [stdout] test constraint_with_multiple_body ... ok
[INFO] [stdout] test count_geq_with_choice ... ok
[INFO] [stdout] test debug_count_choice ... ok
[INFO] [stdout] test debug_count_solve ... ok
[INFO] [stdout] test constraint_with_negation ... ok
[INFO] [stdout] test cycle_with_one_external ... ok
[INFO] [stdout] test disjunction_coloring ... ok
[INFO] [stdout] test disjunction_simple ... ok
[INFO] [stdout] test disjunction_three_way ... ok
[INFO] [stdout] test disjunction_with_body ... ok
[INFO] [stdout] test disjunction_with_constraint ... ok
[INFO] [stdout] test duplicate_facts ... ok
[INFO] [stdout] test empty_program ... ok
[INFO] [stdout] test enumerate_choice_constrained ... ok
[INFO] [stdout] test enumerate_choice_two ... ok
[INFO] [stdout] test enumerate_exact_one ... ok
[INFO] [stdout] test deep_rule_chain ... ok
[INFO] [stdout] test fact_mixed_arg_types ... ok
[INFO] [stdout] test fact_multi_arity ... ok
[INFO] [stdout] test enumerate_no_choice ... ok
[INFO] [stdout] test enumerate_unsat ... ok
[INFO] [stdout] test fact_negative_number ... ok
[INFO] [stdout] test fact_single ... ok
[INFO] [stdout] test fact_symbolic ... ok
[INFO] [stdout] test fact_with_args ... ok
[INFO] [stdout] test fact_zero_arity ... ok
[INFO] [stdout] test fibonacci_like ... ok
[INFO] [stdout] test join_two_predicates ... ok
[INFO] [stdout] test loop_broken_by_negation ... ok
[INFO] [stdout] test loop_with_external_support ... ok
[INFO] [stdout] test graph_coloring_instance ... ok
[INFO] [stdout] test many_body_literals ... ok
[INFO] [stdout] test many_facts ... ok
[INFO] [stdout] test max_aggregate_impossible ... ok
[INFO] [stdout] test min_aggregate_impossible ... ok
[INFO] [stdout] test minimize_parses ... ok
[INFO] [stdout] test max_aggregate_leq ... ok
[INFO] [stdout] test min_aggregate_geq ... ok
[INFO] [stdout] test multiple_constraints ... ok
[INFO] [stdout] test naf_blocks_derivation ... ok
[INFO] [stdout] test naf_stratified_three_layers ... ok
[INFO] [stdout] test naf_chain ... ok
[INFO] [stdout] test mutual_loop_not_derived ... ok
[INFO] [stdout] test pool_in_choice ... ok
[INFO] [stdout] test naf_basic ... ok
[INFO] [stdout] test optimize_at_priority_parses ... ok
[INFO] [stdout] test optimize_single_priority ... ok
[INFO] [stdout] test pool_in_rule_body ... ok
[INFO] [stdout] test naf_with_fact ... ok
[INFO] [stdout] test pool_multi_range ... ok
[INFO] [stdout] test pool_in_program ... ok
[INFO] [stdout] test predicate_used_pos_and_neg ... ok
[INFO] [stdout] test pool_simple ... ok
[INFO] [stdout] test rule_body_atom_missing ... ok
[INFO] [stdout] test rule_two_body_atoms ... ok
[INFO] [stdout] test rule_multiple_head_occurrences ... ok
[INFO] [stdout] test optimize_priority_lexicographic ... ok
[INFO] [stdout] test rule_with_variables ... ok
[INFO] [stdout] test self_join ... ok
[INFO] [stdout] test show_computed_term ... ok
[INFO] [stdout] test self_loop_not_derived ... ok
[INFO] [stdout] test self_join_original ... ok
[INFO] [stdout] test queens_4_with_cardinality ... ok
[INFO] [stdout] test show_filters_output ... ok
[INFO] [stdout] test simple_derivation ... ok
[INFO] [stdout] test show_hides_helper_predicates ... ok
[INFO] [stdout] test stratified_four_layers ... ok
[INFO] [stdout] test three_way_cycle_unfounded ... ok
[INFO] [stdout] test show_sig_works ... ok
[INFO] [stdout] test sum_aggregate_parses ... ok
[INFO] [stdout] test pool_two_args ... ok
[INFO] [stdout] test show_multiple_predicates ... ok
[INFO] [stdout] test transitive_closure ... ok
[INFO] [stdout] test weak_constraint_parses ... ok
[INFO] [stdout] test weak_constraint_with_priority ... ok
[INFO] [stdout] test weak_constraint_minimize ... ok
[INFO] [stdout] test variable_reuse_across_rules ... ok
[INFO] [stdout] test max_aggregate_geq has been running for over 60 seconds
[INFO] [stdout] test min_aggregate_leq has been running for over 60 seconds
[INFO] [stdout] test min_aggregate_leq ... ok
[INFO] [stdout] test max_aggregate_geq ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 127 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 143.62s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests asp_solver
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "ea28757088d1b7ce1f596bda1c5679d47a0c1ebc30433775b62a7a1000b701d0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ea28757088d1b7ce1f596bda1c5679d47a0c1ebc30433775b62a7a1000b701d0", kill_on_drop: false }`
[INFO] [stdout] ea28757088d1b7ce1f596bda1c5679d47a0c1ebc30433775b62a7a1000b701d0
